Abstract structure - PDFSEARCH.IO - Document Search Engine

Abstract structure
Results: 1322

#	Item
561	Amortized Analysis of Smooth Quadtrees in All Dimensions Huck Bennett⋆ and Chee Yap⋆ Department of Computer Science, Courant Institute, New York University Abstract. Quadtrees are a well-known data structure for rep Add to Reading List Source URL: www.cims.nyu.edu Language: English - Date: 2014-04-29 23:35:25 Computing Binary trees B-tree Smooth number Splay tree Amortized analysis Data management Mathematics Quadtree
562	Arity-Generic Datatype-Generic Programming Stephanie Weirich Chris Casinghino University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:01 Abstract algebra Universal algebra Functional languages Generic programming Structure Lambda calculus Map Haskell Operation Mathematics Software engineering Computing
563	Amortized Analysis of Smooth Quadtrees in All Dimensions Huck Bennett⋆ and Chee Yap⋆ Department of Computer Science, Courant Institute, New York University Abstract. Quadtrees are a well-known data structure for repr Add to Reading List Source URL: www.cims.nyu.edu Language: English - Date: 2014-04-29 23:35:23 Smooth number Splay tree Data management Computing Amortized analysis Quadtree Mathematics Binary trees
564	Joseph MuscatOrdered Sets The morphisms on a relation (digraph) Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2012-11-15 05:04:30 Order theory Lattice theory Algebraic structures General topology Functions and mappings Distributive lattice Ideal Filter Boolean algebra Mathematics Abstract algebra Structure
565	Mechanizing the Metatheory of Sledgehammer Jasmin Christian Blanchette and Andrei Popescu Fakultät für Informatik, Technische Universität München, Germany Abstract. This paper presents an Isabelle/HOL formalization o Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Structure Interpretation First-order logic Symbol Permutation Signature Parity of a permutation Combinatorial species Mathematics Model theory Logic
566	Geometry of the 4x4 Square Notes by Steven H. Cullinane A Structure−Endowed Entity "A guiding principle in modern mathematics is this lesson: Whenever you have to do with a structure−endowed entity S, try to determin Add to Reading List Source URL: finitegeometry.org Language: English - Date: 2011-03-29 13:29:26 Sporadic groups Affine geometry Projective geometry Algebraic geometry Mathieu group Incidence geometry Finite geometry Miracle Octad Generator Projective space Geometry Mathematics Abstract algebra
567	Multilayer Network Model for Analysis and Management of Change Propagation Michael C. Pasqual · Olivier L. de Weck Abstract A pervasive problem for engineering change management is the phenomenon of change propagation b Add to Reading List Source URL: strategic.mit.edu Language: English - Date: 2011-07-13 16:33:55 Computing Ethernet Network switch Design structure matrix Change management Multitier architecture Ionosphere Systems engineering Systems science Software engineering
568	Towards Linear-time Incremental Structure from Motion Changchang Wu University of Washington Abstract Add to Reading List Source URL: ccwu.me Language: English - Date: 2013-09-25 12:36:14 Geodesy Photogrammetry Surveying Matching Structure from motion Measurement Artificial intelligence Mathematics Computer vision Bundle adjustment Cartography
569	DIVIDED POWER ALGEBRA Contents 1. Introduction 2. Divided powers 3. Divided power rings Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:47 Commutative algebra Algebraic structures Polynomials Algebraic topology Polynomial ring Ring Divided power structure Sheaf Ideal Abstract algebra Algebra Ring theory
570	Comparing Kernels For Predicting Protein Binding Sites From Amino Acid Sequence Feihong Wu1,2,5,7 , Byron Olson6,8 , Drena Dobbs3,4,5,6,9 and Vasant Honavar1,2,4,5,6,10 Abstract— The ability to identify protein binding Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-05-28 21:12:24 Science Chemistry Protein structure Matrices DNA Sequence alignment Substitution matrix BLOSUM Multiple sequence alignment Bioinformatics Biology Computational phylogenetics

UPDATE